1. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : H.-J. Burckert
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
